Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: pin clippy to working version #11237

Merged
merged 1 commit into from
Sep 26, 2024
Merged

ci: pin clippy to working version #11237

merged 1 commit into from
Sep 26, 2024

Conversation

fgimenez
Copy link
Member

@mattsse mattsse added the C-debt Refactor of code section that is hard to understand or maintain label Sep 26, 2024
@fgimenez fgimenez added this pull request to the merge queue Sep 26, 2024
@mattsse mattsse removed this pull request from the merge queue due to a manual request Sep 26, 2024
@mattsse mattsse merged commit 4a05826 into main Sep 26, 2024
38 checks passed
@mattsse mattsse deleted the fgimenez/pin-working-clippy branch September 26, 2024 08:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mattsse mattsse mattsse approved these changes

@onbjerg onbjerg Awaiting requested review from onbjerg onbjerg is a code owner

@gakonst gakonst Awaiting requested review from gakonst gakonst is a code owner

@DaniPopes DaniPopes Awaiting requested review from DaniPopes DaniPopes is a code owner

Assignees
No one assigned
Labels
C-debt Refactor of code section that is hard to understand or maintain
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fgimenez @mattsse